João M. Fernandes, Ricardo J. Machado: System-Level Object-Orientation in the Specification and Validation of Embedded Systems. SBCCI 2001: 8-13