Functional and Object-Oriented Views in Embedded Software Modeling - Fernandes, João M. (2004)