Peter Bunus, Peter Fritzson. Automated Static Analysis of Equation-Based Components. Simulation, 80(7-8):321-345, 2004. [doi]
@article{BunusF04,
title = {Automated Static Analysis of Equation-Based Components},
author = {Peter Bunus and Peter Fritzson},
year = {2004},
doi = {10.1177/0037549704046340},
url = {http://dx.doi.org/10.1177/0037549704046340},
tags = {rule-based, analysis, static analysis},
researchr = {https://researchr.org/publication/BunusF04},
cites = {0},
citedby = {0},
journal = {Simulation},
volume = {80},
number = {7-8},
pages = {321-345},
}