Text this: Analysis and design of hybrid systems 2006