Interface automata, in (2001)

by L de Alfaro, T A Henzinger
Venue:Proc. Ninth Annu. Symp. Foundations of Software Engineering (FSE), ACM