@inproceedings{0192c22ee1954f319b4b6ba1039cc69e,
title = "Interface-aware signal temporal logic",
author = "Thomas Ferr{\`e}re and Dejan Nickovic and Alexandre Donze and Hisahiro Ito and James Kapinski",
year = "2019",
language = "English",
isbn = "978-1-4503-6282-5",
pages = "57--66",
booktitle = "Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.",
note = "HSCC 2019 ; Conference date: 16-04-2019 Through 18-04-2019",
}