TY  - RPRT
TI  - OpenBuildingControl: Digitizing the control delivery from building energy modeling to specification, implementation and formal verification
AU  - Wetter, Michael (ORCID:0000000270430802)
AU  - Ehrlich, Paul (ORCID:0000000160798403)
AU  - Gautier, Antoine (ORCID:0000000317843453)
AU  - Grahovac, Milica (ORCID:0000000316403931)
AU  - Haves, Philip
AU  - Hu, Jianjun
AU  - Prakash, Anand (ORCID:0000000236943225)
AU  - Robin, Dave
AU  - Zhang, Kun (ORCID:0000000201978778)
PY  - 2022
DO  - 10.1016/j.energy.2021.121501
UR  - https://www.osti.gov/biblio/1810884
ID  - 1810884
ER  -