A Guide to Behavioural Modelling for ALM