Towards the automatic verification of PLC programs written in Instruction List. - Géraud Canet; Sandrine Couffin; Jean-Jacques Lesage; Antoine Petit 001; Philippe Schnoebelen (SMC, 2000)