Interface theories for component-based design,” (2001)

by L de Alfaro, T A Henzinger
Venue:in Proceedings of the First International Workshop on Embedded Software, Lecture Notes in Computer Science,