O
[Ost92] 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. Elsevier, April 1992. 
@article{jss18(1)-Ost,
  author =              {Ostroff, Jonathan S.},
  title =               {Formal methods for the specification and design of
                         real-time safety critical systems},
  publisher =           {Elsevier},
  journal =             {Journal of Systems and Software},
  volume =              {18},
  number =              {1},
  pages =               {33-60},
  year =                {1992},
  month =               apr,
  doi =                 {10.1016/0164-1212(92)90045-L},
}
List of authors