Modelica is a language for modeling of cyber-physical systems