Analysis and design of hybrid systems - Pettersson, Stefan (Göteborg : Control Engineering Laboratory, Department of Signals and Systems, Chalmers University of Technology, 1999)