Roussel, J.-M. and Lesage, J.-J. (1996) Validation and Verification of Grafcets Using Finite State Machine. Proceedings of IMACS-IEEE, CESA’96, Lille, 9-12 July 1996, 1-6.

has been cited by the following article: