Antoine Girard Giordano Pola Paulo Tabuada Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. 201-214 2008 HSCC http://dx.doi.org/10.1007/978-3-540-78929-1_15 conf/hybrid/2008 db/conf/hybrid/hscc2008.html#GirardPT08