Issue No. 02 - March/April (1997 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.582979
The Quartz method treats time and functional behavior with equal importance in the development process. By modeling program development in a unified framework, argue the authors, we can increase our confidence in the correctness of real-time, concurrent code.
M. Utting, C. Fidge and P. Kearney, "A Formal Method for Building Concurrent Real-Time Software," in IEEE Software, vol. 14, no. , pp. 99-106, 1997.