Zainalabedin Navabi A high-level language for design and modeling of hardware. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1992, v:18, n:1, pp:5-18 [Journal]
Jonathan S. Ostroff Formal methods for the specification and design of real-time safety critical systems. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1992, v:18, n:1, pp:33-60 [Journal]