Giordano Pola, Arjan J. van der Schaft, Maria Domenica Di Benedetto: Bisimulation theory for switching linear systems. CDC 2004: 1406-1411