K. Dang and R. Champagnat, “An Authoring Tool to Derive Valid Interactive Scenarios”, AIIDE, vol. 9, no. 4, pp. 9-15, Oct. 2013.