Papers by Xenofon Koutsoukos:

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