Peter Bunus Peter Fritzson Automated Static Analysis of Equation-Based Components. 321-345 2004 80 Simulation 7-8 http://dx.doi.org/10.1177/0037549704046340 db/journals/simulation/simulation80.html#BunusF04