Giotto: A time-triggered language for embedded programming. Henzinger, T. A, Horowitz, B., & Kirsch, C. M. In International Workshop on Embedded Software, pages 166–184, 2001. Springer.
bibtex   
@inproceedings{henzinger_giotto:_2001,
	title = {Giotto: {A} time-triggered language for embedded programming},
	booktitle = {International {Workshop} on {Embedded} {Software}},
	publisher = {Springer},
	author = {Henzinger, Thomas A and Horowitz, Benjamin and Kirsch, Christoph Meyer},
	year = {2001},
	pages = {166--184}
}
Downloads: 0