Jacob Brown, Gabe Fierro, Meera Sridhar: Examining Feasibility of STL for Enforcing Safe Building Control. Sustainability Week 2026: 600-601