1. Gordon B. Aaseng . 2015 . Scaling Up Model-Based Diagnostic and Fault Effects Reasoning for Spacecraft. In AIAA SPACE 2015 Conference and Exposition. American Institute of Aeronautics and Astronautics. https://doi.org/10 .2514/6. 2015 - 4465 10.2514/6.2015-4465 Gordon B. Aaseng. 2015. Scaling Up Model-Based Diagnostic and Fault Effects Reasoning for Spacecraft. In AIAA SPACE 2015 Conference and Exposition. American Institute of Aeronautics and Astronautics. https://doi.org/10.2514/6.2015-4465
2. Asli Akcamete . 2011. A formal approach for managing facility change information and capturing change history as part of building information models (BIMs). Ph. D. Dissertation . Carnegie Mellon University . Asli Akcamete. 2011. A formal approach for managing facility change information and capturing change history as part of building information models (BIMs). Ph. D. Dissertation. Carnegie Mellon University.
3. Brick
4. Bharathan Balaji Nadir Weibel and Yuvraj Agarwal. 2016. Managing Commercial HVAC Systems: What Do Building Operators Really Need?https://doi.org/10.48550/arXiv.1612.06025 arxiv:1612.06025 [cs] 10.48550/arXiv.1612.06025
5. Bharathan Balaji Nadir Weibel and Yuvraj Agarwal. 2016. Managing Commercial HVAC Systems: What Do Building Operators Really Need?https://doi.org/10.48550/arXiv.1612.06025 arxiv:1612.06025 [cs]