A Verification Environment for I/O Automata -- Part I: Temporal Logic and Abstraction (1999)

by Olaf Müller