Embedded Control Systems Development with Giotto.

Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch

Browse the full PLDI paper archive.