Paper  bibtex   

@inproceedings{klenk.aaai.2014,
  author={Matthew Klenk, Johan de Kleer, Daniel Bobrow, Bill Janssen},  
  booktitle={Proceedings of the Twenty-Eighth AAAI Conference on Artificial
               Intelligence},
  title={Qualitative Reasoning with Modelica Models},
  year={2014},
  %venuetype={Conference},
  address={Quebec City, Quebec, Canada},
  url={http://www.matthewklenk.com/papers/QR-with-Modelica.pdf}
}