| Paper Code | Title | Authors | Topic |
|---|
| Mo-A17-TO/1 | Achieving Tradeoffs between Safety and Functionality in Early System Design | Grante Christian, Papadopoulos Yiannis | 5.1 |
| Mo-A17-TO/2 | Dependable Software in Railway Signaling | Johnson Timothy, Sutherland Hunt A., Ingleston Bart, Krogh Bruce H. | 5.1 |
| Mo-A17-TO/3 | Scheduling Lacquer Production by Reachability Analysis - A Case Study | Behrmann Gerd, Brinksma Ed, Hendriks Martijn, Mader Angelika | 5.1 |
| Mo-A17-TO/4 | Designing Dependable Logic Controllers using the Supervisory Control Theory | Roussel Jean-Marc, Giua Alessandro | 5.1 |
| Mo-A17-TO/5 | Deductive Cause-Consequence Analysis (DCCA) | Ortmeier Frank, Reif Wolfgang, Schellhorn Gerhard | 5.1 |
| Mo-A17-TO/6 | A Distributed Algorithm for On-line Diagnosis of Place-bordered Petri Nets | Genc Sahika, Lafortune Stephane | 5.1 |
