A formal approach to test commercial strategies: Comparative study using multiagent-based techniques