Bojan Cukic Brian J. Taylor Harshinder Singh Automated Generation of Test Trajectories for Embedded Flight Control Systems. 175-200 2002 12 International Journal of Software Engineering and Knowledge Engineering 2 http://dx.doi.org/10.1142/S0218194002000895 db/journals/ijseke/ijseke12.html#CukicTS02