Towards Verification of Storyboards. - Rainer Knauf; Horst Duesel (FLAIRS, 2008)