@Inproceedings{EPTCS272.1, author = {Sifakis, Joseph}, year = {2018}, title = {System Design in the Era of IoT --- Meeting the Autonomy Challenge}, editor = {Bliudze, Simon and Bensalem, Saddek}, booktitle = {{\rm Proceedings of the 1st International Workshop on} Methods and Tools for Rigorous System Design, {\rm Thessaloniki, Greece, 15th April 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {272}, publisher = {Open Publishing Association}, pages = {1-22}, doi = {10.4204/EPTCS.272.1}, }