Interface-based Design of Embedded Systems Thomas A. Henzinger University of California, Berkeley.
Interface-based Design of Embedded Systems