Roozbeh Farahbod Uwe Glässer P. J. Jackson Mona Vajihollahi High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. 797-814 2008 ISoLA http://dx.doi.org/10.1007/978-3-540-88479-8_57 conf/isola/2008 db/conf/isola/isola2008.html#FarahbodGJV08