Safe Temperature Regulation: Formally Verified and Real-World Validated. - Carlos Isasa; Noah Abou El Wafa; Cláudio Gomes 001; Peter Gorm Larsen; André Platzer (iFM, 2025)