Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel. Fluent temporal logic for discrete-time event-based models. In Michel Wermelinger, Harald Gall, editors, Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005. pages 70-79, ACM, 2005. [doi]
Abstract is missing.