A typed assembly language for real-time programs.

Thomas A. Henzinger, Christoph M. Kirsch

Browse the full EMSOFT paper archive.