A Comprehensive Study of Declarative Behavioural Modelling Languages