Paper accepted

Our paper “Some Like It Very Hot: Formal Modeling and Analysis of Extreme Heat Exposure to the Human Body in HI-Maude was accepted at WRLA’12.