Kenji Taguchi Jin Song Dong Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach. 449-474 2008 2 IJAOSE 4 http://dx.doi.org/10.1504/IJAOSE.2008.020140 db/journals/ijaose/ijaose2.html#TaguchiD08