Laurence Pierre. Formal Specification of a Reactive System: An Exercise in VHDL, LOTOS and UNITY. In 1996 European Design and Test Conference, ED&TC 1996, Paris, France, March 11-14, 1996. pages 607, IEEE Computer Society, 1996. [doi]
Abstract is missing.