Paul Z. Kolano Richard A. Kemmerer Classification schemes to aid in the analysis of real-time systems. 86-95 2000 ISSTA http://doi.acm.org/10.1145/347324.348875 db/conf/issta/issta2000.html#KolanoK00