Describir: Analysis and design of hybrid systems 2006 :