Homayoun Dayani-Fard, Andrew J. Malton. Phased development of critical real-time systems in timed CSP. In Dennis Bockus, Karen Bennet, W. Morven Gentleman, J. Howard Johnson, Evelyn Kidd, editors, Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada. pages 17, IBM, 1995. [doi]
Abstract is missing.