Handbook of HYBRID systems control : theory, tools, applications (Cambridge University Press, 2009)