Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
OSTROFF J. S.,Formal methods for the specification and design of real-time safety critical systems,The Journal of Systems and Software,,,1992,,,33-60,https://cir.nii.ac.jp/crid/1571980076611728896,