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.
Mark Utting, Colin Fidge, Peter Kearney, "A Formal Method for Building Concurrent Real-Time Software", IEEE Software, vol. 14, no. , pp. 99-106, March/April 1997, doi:10.1109/52.582979