Ladder Metamodeling and PLC Program Validation through Time Petri Nets. - Darlam Fabio Bender; Benoît Combemale; Xavier Crégut; Jean-Marie Farines; Bernard Berthomieu; François Vernadat 001 (ECMDA-FA, 2008)