A Kernel Language for Behavioural Modeling Languages