Joseph Sifakis. Toward a System Design Science. In Saddek Bensalem, Yassine Lakhneck, Axel Legay, editors, From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Volume 8415 of Lecture Notes in Computer Science, pages 225-234, Springer, 2014. [doi]
@inproceedings{Sifakis14, title = {Toward a System Design Science}, author = {Joseph Sifakis}, year = {2014}, doi = {10.1007/978-3-642-54848-2_15}, url = {http://dx.doi.org/10.1007/978-3-642-54848-2_15}, researchr = {https://researchr.org/publication/Sifakis14}, cites = {0}, citedby = {0}, pages = {225-234}, 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}, editor = {Saddek Bensalem and Yassine Lakhneck and Axel Legay}, volume = {8415}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-54847-5}, }