Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models