@inproceedings{Sif4e,
title = { Toward a System Design Science },
author = {Sifakis, Joseph},
year = {2014},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings},
pages = {225--234},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8415},
team = {RSD},
timestamp = {Wed, 14 Nov 2018 10:52:00 +0100},
biburl = {https://dblp.org/rec/bib/conf/etaps/Sifakis14},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
