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