@inproceedings{teodorov:hal-01203701, TITLE = {{Context-Aware Verification of a Cruise-Control System}}, AUTHOR = {Teodorov, Ciprian and Leroux, Luka and Dhaussy, Philippe}, URL = {https://hal.science/hal-01203701}, BOOKTITLE = {{MEDI 2014}}, ADDRESS = {Larnaca, Cyprus}, PUBLISHER = {{Springer}}, SERIES = {Model and Data Engineering}, VOLUME = {8748}, PAGES = {53-64}, YEAR = {2015}, MONTH = Sep, DOI = {10.1007/978-3-319-11587-0\_7}, KEYWORDS = {formal verification context-aware model-checking OBP observer-automata}, HAL_ID = {hal-01203701}, HAL_VERSION = {v1}, }