Interface automata (2001)

by Luca de Alfaro, Thomas A Henzinger
Venue:In Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-9