Email Record: Analysis and design of hybrid systems 2006 :