
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?
Keywords: Simulation; Rewriting logic; Hybrid systems; Object-oriented specification; Human thermoregulatory system