Modelyze is a host language for embedding domain-specific languages (DSLs) for modeling and analyzing cyber-physical systems (CPS).