Thomas A. Henzinger, Christoph M. Kirsch. A typed assembly language for real-time programs. In Giorgio C. Buttazzo, editor, EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings. pages 104-113, ACM, 2004. [doi]
Abstract is missing.