Gustaf Naeser, Kristina Lundqvist, Lars Asplund. Temporal skeletons for verifying time. In John W. McCormick, Leemon C. Baird III, editors, Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005. pages 49-56, ACM, 2005. [doi]
Abstract is missing.