Building an interactive test development environment for cyclic executive systems | IEEE Conference Publication | IEEE Xplore