Formal Requirements Speciication for Command and Control Systems