8th School on MOdeling and VErifying of parallel Processes : proceedings of the summer school, MOVEP´08, Orléans, France, June 23-27, 2008 - Couvreur, Jean-Michel; Jéron, Thierry (Corbet, 2008)