A Kernel Language for Behavioural Modeling LanguagesChristian Kletzanderadvised by Manuel WimmerFinished