M. Rauterberg, M. Alders, und R. Haakma, „How to Improve the Production Process for interactive TV with semi-formal Methods“, jvrb, Bd. 4, März 2007.