Li Yang Raimund K. Ege Huiqun Yu Mediation framework modeling and verification by SAM. 1567-1568 2005 conf/sac/2005 SAC http://doi.acm.org/10.1145/1066677.1067030 db/conf/sac/sac2005.html#YangEY05a