Models and Tools for Complex Embedded Software and Systems