_id,doi,title
4368,1567,AMT: a property-based monitoring tool for analog systems