Compositional Verification of UML Dynamic Models. - Wei Dong 006; Ji Wang 001; Zhichang Qi; Ni Rong (APSEC, 2007)