Xi Wang Shaoying Liu Huaikou Miao A Pattern-Based Approach to Formal Specification Construction. 159-168 2011 FGIT-ASEA/DRBC/EL http://dx.doi.org/10.1007/978-3-642-27207-3_16 conf/fgit/2011asea db/conf/fgit/asea2011.html#WangLM11