Papers by Matthew Klenk:

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