Analyzing Systems Dependent on Execution Speed with Model Checker - Mizuno, Takahisa; Nishizaki, Shin-Ya (Procedia Engineering, 2012)