@InProceedings{ecmda08, author = {Darlam Bender and Benoit Combemale and Xavier Cr{\'e}gut and Jean-Marie Farines and Francois Vernadat}, title = {{Ladder Metamodeling \& PLC Program Validation through Time Petri Nets}}, booktitle = {Fourth European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA)}, year = {2008}, month = jun, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)}, volume = {5095}, address = {Berlin, Germany}, pages = {121--136}, language = {anglais}, comment = {preprint.pdf, slide.pdf}, url = {http://dx.doi.org/10.1007/978-3-540-69100-6_9}, note = {AR=27\%}, }