@inproceedings{dcde01de8e404bb58b8ba2134a863ea9,
title = "The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems",
author = "Dejan Nickovic and Thang Nguyen and Ezio Bartocci and Radu Grosu and Stefan Jaksic and Konstantin Selyunin",
year = "2016",
language = "English",
isbn = "9783-319471686",
pages = "371--379",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium",
note = "ISOLA 2016 ; Conference date: 10-10-2016 Through 14-10-2016",
}