%0 Journal Article
%K Building
%K HVAC
%K Control
%K Simulation
%A Michael Wetter
%A Paul Ehrlich
%A Antoine Gautier
%A Milica Grahovac
%A Philip Haves
%A Jianjun Hu
%A Anand Prakash
%A Dave Robin
%A Kun Zhang
%B Energy
%D 2022
%G eng
%P 121501
%R 10.1016/j.energy.2021.121501
%T OpenBuildingControl: Digitizing the control delivery from building energy modeling to specification, implementation and formal verification
%U https://linkinghub.elsevier.com/retrieve/pii/S0360544221017497
%V 238
%8 01/2022
%! Energy