Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation. - Meixia Zhu; Hanpin Wang; Xikui Liu 001; Xiaoqiong Han (Int. J. Softw. Informatics, 2012)