DOI,IST REx ID,Title of publication
10.1007/978-3-540-75454-1_22,4368,AMT: A property-based monitoring tool for analog systems