The paper describes a formal framework for object-oriented modeling of mechatronic systems, whose main contribution is on one hand to unify the modeling approaches for dynamical systems and for industrial control software and, on the other hand, to provide a definition of inheritance, a cardinal concept in object-orientation, that emphasize the behavioral conformity of base and derived classes ...