Text this: Non-Recursive Behavioural Models in Control Analysis and Design /