A review of formal method techniques for specifying a wall-climbing robot control firmare requirement