Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm | IEEE Conference Publication | IEEE Xplore