Media type: E-Article Title: Lecture Notes in Computer Science: Actions with Failures in Interval Temporal Logic Contributor: Hommersom, Arjen; Lucas, Peter imprint: Springer Berlin Heidelberg, 2008 Published in: Lecture Notes in Computer Science Language: Not determined DOI: 10.1007/978-3-540-88833-8_2 ISSN: 0302-9743; 1611-3349 Origination: Footnote: