Dominique l'Her, Philippe Le Parc, Lionel Marcé. Modeling and proving GRAFCETS With Transition Systems.
Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: AMAST Series in Computing 8., World Scientific (ISBN 981-02-4424-X/hbk), pp.77-96, 2007.
⟨hal-00502042⟩