Interface automata. (2001)

by L de Alfaro, T Henzinger
Venue:In Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of Software Engineering,