Invia SMS: Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / Bernhard Beckert, Claude Marche (eds.).