Linh T. X. Phan, Insup Lee, Oleg Sokolsky: Compositional Analysis of Multi-mode Systems. ECRTS 2010: 197-206