Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil. A Temporal Logic for Input Output Symbolic Transition Systems. In 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan. pages 43-50, IEEE Computer Society, 2005. [doi]
Abstract is missing.