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