@misc{1176381, author = {William B May and George E Kelly}, title = {Verification of public domain control algorithms for building energy management and control systems:}, year = {1985}, month = {1985-01-01 05:01:00}, publisher = {, National Institute of Standards and Technology, Gaithersburg, MD}, doi = {https://doi.org/10.6028/NBS.IR.85-3285}, language = {en}, }