A Formal Model for Supporting Frameworks of Dynamic Service Update Based on OSGi. - Jun-Qing Chen; Linpeng Huang; Siqi Du; Wenjia Zhou (APSEC, 2010)