System-level object-orientation in the specification and validation of embedded systems - Fernandes, João M. (2001)