Paper from: Pop, Adrian

Title: Static and Dynamic Debugging of Modelica Models
Authors: Adrian Pop, Martin Sjölund, Adeel Asghar, Peter Fritzson and Francesco Casella
Abstract
Full Paper