@inproceedings{ISSTA-2000-KolanoK,
	author        = "Paul Z. Kolano and Richard A. Kemmerer",
	booktitle     = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	doi           = "10.1145/347324.348875",
	pages         = "86--95",
	publisher     = "{ACM}",
	title         = "{Classification schemes to aid in the analysis of real-time systems}",
	year          = 2000,
}