Conformance of navigational behavioural to requirements using animation. (1st January 2012)