Modelica for Hybrid Systems Modeling : Problems and Difficulties , Mathematical Semantics and Execution Schemes ( work in progress )