Shengchao Qin Zongyan Qiu Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings 6991 2011 Springer Lecture Notes in Computer Science http://dx.doi.org/10.1007/978-3-642-24559-6 978-3-642-24558-9 ICFEM db/conf/icfem/icfem2011.html