Formal requirements specification for command and control systems