The Use of a Formal Simulator to Verify a Simple Real Time Control Program

Boyer, R. S., Green, M. W., & Moore, J. S. (1990). The Use of a Formal Simulator to Verify a Simple Real Time Control Program. In Beauty Is Our Business (pp. 54–66). Springer New York. https://doi.org/10.1007/978-1-4612-4476-9_7