@inproceedings{Sif8a,
title = {System Design in the Era of IoT - Meeting the Autonomy Challenge },
author = {Sifakis, Joseph},
year = {2018},
booktitle = {Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018.},
pages = {1--22},
series = {{EPTCS}},
volume = {272},
team = {RSD},
}
