Electronic Communications of the EASST Volume X ( 2010 ) Proceedings of the 10 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2010 ) Model Checking the Pastry Routing Protocol