Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai. TILCO Temporal Logic for Real-Time Systems Implementation in C++. In Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003. pages 166-173, 2003.
Abstract is missing.