Christophe Pajault: Model checking parallèle et réparti de réseaux de Petri colorés de haut-niveau : application à la vérification automatique de programmes Ada concurrents. (Parallel and distributed high-level colored Petri net model checking). Pierre and Marie Curie University, Paris, France 2008