Title: The implementational and educational issues relating to the behavioural synthesis of control dominated designs