Modelyze: A host language for modeling and analysis of cyber-physical systems