System-Level Object-Orientation in the Specification and Validation of Embedded Systems Conference proceeding (January 2001)