Foundations for Behavioural Model Elaboration Using Modal Transition Systems