Interface-based design. In: Engineering Theories of Software-intensive Systems (2005)

by L de Alfaro, T A Henzinger
Venue:NATO Science Series: Mathematics, Physics, and Chemistry