Analyzing a space-protocol: from specification, simulation to experimentation. - Marc Andreu; Michèle Haziza; Claude Jard; Jean-Marc Jézéquel (FORTE, 1992)