Tim French, John C. McCabe-Dansted, Mark Reynolds. A Temporal Logic of Robustness. In Boris Konev, Frank Wolter, editors, Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Volume 4720 of Lecture Notes in Computer Science, pages 193-205, Springer, 2007. [doi]
Abstract is missing.