Flight control computer operational flight program development for the control laws switching mechanism | IEEE Conference Publication | IEEE Xplore