1. Potts, C., Takahashi, K., & Anton, A. Inquiry-Based Scenario Analysis of System Requirements. Technical Report GIT-CC-94/14, Georgia Institute of Technology. 1994.
2. Jensen, K., & Kristensen, L.M. Coloured Petri-nets: Modelling and Validation of Concurrent Systems.Springer-Verlag,Textbookin preparation. Available from: http://wiki.daimi.au.dk/cpntools/cpntoolssttt.wwik.
3. Crawley, D.B., Lawrie, L.K., Winkelmann, F.C., Buhl, W.F., Erdem, A.E., Huang, Y.J., Pedersen, C.O., Liesen, R.J., Fisher, D.E.,Strand, R.K., & Taylor, R.D. EnergyPlus: a New Generation Building Energy Simulation Program. Paper presented at the 6th International IBPSA Conference, Kyoto, Japan. 1999.
4. Crawley, D.B., Winkelmann, F.C., Laurie, L.K., and Pedersen, C.O. EnergyPlus: New capabilities in a Whole Building Energy Simulation Program. Paper presented at the 7th International IBPSA Conference, Rio de Janeiro, Brasil, 2001.
5. Fischer, D.E., Taylor, R.D., Buhl, F., Liesen, R.J., and Strand, R.K. A Modular Loop-Based Approach to HVAC Energy Simulation and its Implementation in EnergyPlus. Paper presented at the 6th International IBPSA Conference, Kyoto, Japan. 1999.