Wetter, Michael, Jianjun  Hu, Milica  Grahovac, Brent  Eubanks, and Philip  Haves. "OpenBuildingControl: Modeling Feedback Control as a Step Towards Formal Design, Specification, Deployment and Verification of Building Control Sequences." 2018 Building Performance Modeling Conference and SimBuild co-organized by ASHRAE and IBPSA-USA. Chicago, IL, 2018.