Arjen Hommersom Peter J. F. Lucas Actions with Failures in Interval Temporal Logic. 22-41 2007 CLIMA http://dx.doi.org/10.1007/978-3-540-88833-8_2 conf/clima/2007 db/conf/clima/clima2007.html#HommersomL07