Papers by Bill Janssen:

Title: Using Fault Augmented Modelica Models for Diagnostics
Authors: Raj Minhas, Johan De Kleer, Ion Matei, Bhaskar Saha, Bill Janssen, Daniel Bobrow and Tolga Kurtoglu
Links: Abstract, Full paper

---

Title: Making Modelica Applicable for Formal Methods
Authors: Matthew Klenk, Daniel Bobrow, Johan De Kleer and Bill Janssen
Links: Abstract, Full paper

---

Title: Verification and Design Exploration through Meta Tool Integration with OpenModelica
Authors: Zsolt Lattmann, Adrian Pop, Johan De Kleer, Peter Fritzson, Bill Janssen, Sandeep Neema, Ted Bapty, Xenofon Koutsoukos, Matthew Klenk, Daniel Bobrow, Bhaskar Saha and Tolga Kurtoglu
Links: Abstract, Full paper