ASSERTS: a toolkit for real-time software design, development and evaluation.

Kanad Ghose, Sudhir Aggarwal, Pavel Vasek, S. Chandra, Amritansh Raghav, Abrahijt Ghosh, David R. Vogel

Browse the full ECRTS paper archive.