Software Patterns for Traceability of Requirements to Finite State Machine Behavior. - Parastoo Delgoshaei; Mark Austin (CSER, 2012)

Semantic Models and Reasoning for Building System Operations: Focus on Knowledge-Based Control and Fault Detection for HVAC. - Parastoo Delgoshaei (2017)