Animation prototyping of formal specifications of real-time systems. - T. S. Hughes; Jim E. Cooling (Microprocessing and Microprogramming, 1990)

Animation prototyping of formal specifications. - T. S. Hughes (1992)

Animation prototyping of real-time embedded systems. - Jim E. Cooling; T. S. Hughes (Microprocess. Microsystems, 1993)

Making formal specifications accessible through the use of animation prototyping. - Jim E. Cooling; T. S. Hughes (Microprocess. Microsystems, 1994)