Testing cooperative systems with the MARS simulator