Frédéric Peschanski, Joël-Alexis Bialkiewicz: Modelling and Verifying Mobile Systems Using pi-Graphs. SOFSEM 2009: 437-448