Formal Methods for Mobile Computing (SFM 2005)