%0 Conference Paper %A Michael Wetter %A Jianjun Hu %A Milica Grahovac %A Brent Eubanks %A Philip Haves %B 2018 Building Performance Modeling Conference and SimBuild co-organized by ASHRAE and IBPSA-USA %C Chicago, IL %D 2018 %G eng %S 2018 Building Performance Modeling Conference and SimBuild co-organized by ASHRAE and IBPSA-USA %T OpenBuildingControl: Modeling Feedback Control as a Step Towards Formal Design, Specification, Deployment and Verification of Building Control Sequences %U https://www.ashrae.org/File%20Library/Conferences/Specialty%20Conferences/2018%20Building%20Performance%20Analysis%20Conference%20and%20SimBuild/Papers/C107.pdf %8 09/2018