Rauterberg, M.; Alders, M.; Haakma, R. How to Improve the Production Process for Interactive TV With Semi-Formal Methods. jvrb 2007, 4.