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)

Safety Licensing and Formal Correctness of High Integrity Embedded Systems. - John Cullyer (NATO ASI RTC, 1992)

State-of-the-Art in Real-Time Computing Research, Development and Technology. - John Cullyer (NATO ASI RTC, 1992)

Safety critical systems. - John Cullyer (Microprocess. Microsystems, 1993)