Engineering commitment-based multiagent systems: a temporal logic approach