Formal validation of PLC programs: A survey. - S. Lampérière-Couffin; O. Rossi; Jean-Marc Roussel; Jean-Jacques Lesage (ECC, 1999)