A generic framework for formalizing object-oriented modeling notations for embedded systems development