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