Signal: The specification of a generic, verified production cell controller

[1]  Robert K. Brayton,et al.  Implicit state enumeration of finite state machines using BDD's , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[2]  Bruno Dutertre.  Specification et preuve de systemes dynamiques , 1992 .

[3]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.