Exploiting gaming research and practice for engineering interactive critical systems. - Philippe A. Palanque; Regina Bernhaupt; Florent Montesano; Célia Martinie (ATACCS, 2011)