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 (RTS, 1997)