Towards Validation of Specifications by Simulation.

Published in: Agents Workshop on Infrastructure for Multi-Agent Systems (2000)