A generated property specification language for resilient multirobot missions