Building an interactive test development environment for cyclic executive systems. - Guillaume Langelier; Arnaud Dury; Alexandre Petrenko; S. Ramesh 002; Tameem Assaf (SIES, 2015)