@inproceedings{ICSE-1987-Kelly,
	acmid         = "41789",
	author        = "J. C. Kelly",
	booktitle     = "{Proceedings of the Ninth International Conference on Software Engineering}",
	editor        = "William E. Riddle and Robert M. Balzer and Kouichi Kishida",
	isbn          = "0-89791-216-0",
	pages         = "238--252",
	publisher     = "{ACM Press}",
	title         = "{A Comparison of Four Design Methods for Real-Time Systems}",
	year          = 1987,
}