| Paper Code | Title | Authors | Topic |
|---|
| Mo-E17-TO/1 | Continuous Assessment of Desings & Re-use in Model-based Safety Analysis | Papadopoulos Yiannis, Grante Christian, Grunske Lars, Kaiser Bernhard | 5.1 |
| Mo-E17-TO/2 | Timing Diagram Specifications in Modular Modeling of Industrial Automation Systems | Vyatkin Valeriy, Bouzon Gustavo, Hanisch Hans-Michael | 5.1 |
| Mo-E17-TO/3 | From Fault Tree Analysis to Model Checking of Logic Controllers | Barragan Santiago Israel, Faure Jean-Marc | 5.1 |
| Mo-E17-TO/4 | Fault Detection of Discrete Event Systems using an Identification Approach | Klein Stephane, Litz Lothar, Lesage Jean-Jacques | 5.1 |
| Mo-E17-TO/5 | Combined synthesis/verification approach to programmable logic control of a production line | Music Gasper, Matko Drago | 5.1 |
| Mo-E17-TO/6 | Improving Dependability of Logic Controllers by Algorithmic Verification | Stursberg Olaf, Lohmann Sven, Engell Sebastian | 5.1 |
