Time Robustness in MTL and Expressivity in Hybrid System Falsification. - Akazaki, Takumi; Hasuo, Ichiro (2015)