Weixiang Sun Tianjun Shi Gonzalo Argote-Garcia Yi Deng Xudong He Achieving a Better Middleware Design through Formal Modeling and Analysis. 463-468 2006 conf/seke/2006 SEKE db/conf/seke/seke2006.html#SunSADH06