Jonathan S. Ostroff. Formal methods for the specification and design of real-time safety critical systems. Journal of Systems and Software, 18(1):33-60, 1992. [doi]
@article{Ostroff92:0, title = {Formal methods for the specification and design of real-time safety critical systems}, author = {Jonathan S. Ostroff}, year = {1992}, doi = {10.1016/0164-1212(92)90045-L}, url = {http://dx.doi.org/10.1016/0164-1212(92)90045-L}, tags = {design}, researchr = {https://researchr.org/publication/Ostroff92%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {18}, number = {1}, pages = {33-60}, }