Xavier Hannotin Paolo Maggi Riccardo Sisto Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. 42-53 2001 conf/ma/2001 Mobile Agents http://link.springer.de/link/service/series/0558/bibs/2240/22400042.htm db/conf/ma/ma2001.html#HannotinMS01