Interface automata (2001)

by L de Alfaro, T A Henzinger
Venue:In FSE’01