On the development of a formal methods-based software design methodology for automotive applications. - S. Tran; John Cullyer; E. Hines; K. Marks (Microprocess. Microsystems, 1990)