@inproceedings{klenk.modelica.2014, author={Matthew Klenk, Daniel Bobrow, Johan de Kleer, Bill Janssen}, booktitle={Proceedings of the 10th International Modelica Conference}, title={Making Modelica Applicable for Formal Methods}, year={2014}, venuetype={Conference}, address={Lund, Sweden}, url={http://www.matthewklenk.com/papers/ModelicaPainPointsForQR.pdf} }