Sumesh Divakaran, Deepak D Souza, M. Raj Mohan. Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. In Nicolas Markey, Jef Wijsen, editors, TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. pages 35-42, IEEE Computer Society, 2010. [doi]
Abstract is missing.