Jing Dong Paulo S. C. Alencar Donald D. Cowan Sheng Yang Composing pattern-based components and verifying correctness. 1755-1769 2007 80 Journal of Systems and Software 11 http://dx.doi.org/10.1016/j.jss.2007.03.005 db/journals/jss/jss80.html#DongACY07