Interface theories for component-based design (2001)

by L de Alfaro, T A Henzinger
Venue:In Proc. of EMSOFT, LNCS 2211