Reng Zeng Jianling Liu Xudong He A Formal Specification of Mondex Using SAM. 97-102 2008 SOSE http://dx.doi.org/10.1109/SOSE.2008.25 conf/sose/2008 db/conf/sose/sose2008.html#ZengLH08