@InProceedings{klenkCIE2012, author={Matthew Klenk and Johan de Kleer and Daniel G. Bobrow and Sungwook Yoon and John Hanley and Bill Janssen}, title={Guiding and Verifying Early Design Using Qualitative Simulation}, booktitle={Proceedings of the ASME 2012 IDETC and CIE}, address={Chicago, IL}, year={2012}, venuetype = {Conference}, url={http://matthewklenk.com/papers/QR for early design verificationv6.pdf} }