View of How to Improve the Production Process for interactive TV with semi-formal Methods | Journal of Virtual Reality and Broadcasting