METAMOC: Modular Execution Time Analysis using Model Checking. - Andreas Engelbredt Dalsgaard; Mads Chr. Olesen; Martin Toft; René Rydhof Hansen; Kim Guldstrand Larsen (WCET, 2010)