Miaomiao Zhang, Zhiming Liu, and Naijun Zhan. Model Checking Linear Duration Invariants of Networks of Automata. 3rd International Conference on Fundamentals of Software Engineering, FSEN 2009, LNCS 5961, 244-259.
Miaomiao Zhang, Zhiming Liu, Charles Morisset, and Anders P. Ravn. Design and Verification of Fault-Tolerant Components . In Methods, Models and Tools for Fault Tolerance (MEMoT 2009) , LNCS 5454, 57-84.
Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du: Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. 11th IEEE High Assurance Systems Engineering Symposium(HASE 2008): 445-448.
Miaomiao Zhang, Dang Van Hung and Zhiming Liu. Verification of Linear Duration Invariants by Model Checking CTL Properties. 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), LNCS 5160, 395-409.
J. Berendsen, B. Gebremichael, F.W. Vaandrager, and Miaomiao Zhang. Formal Specification and Analysis of Zeroconf using Uppaal. Accepted by ACM Transactions in Embedded Computing Systems, to appear in 2010.