@misc{indiciaef1f777c26004,
  title = {OpenBuildingControl: Digitizing the control delivery from building energy modeling to specification, implementation and formal verification},
  author = {Wetter, Michael (ORCID:0000000270430802) and Ehrlich, Paul (ORCID:0000000160798403) and Gautier, Antoine (ORCID:0000000317843453) and Grahovac, Milica (ORCID:0000000316403931) and Haves, Philip and Hu, Jianjun and Prakash, Anand (ORCID:0000000236943225) and Robin, Dave and Zhang, Kun (ORCID:0000000201978778)},
  year = {2022},
  doi = {10.1016/j.energy.2021.121501},
  url = {https://www.osti.gov/biblio/1810884},
  note = {Source identifier: 1810884}
}