"Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005" - читать интересную книгу автора (Marco Bernardo, Alessandro Bogliolo)