Specification, Implementation, and Validation of Object-Oriented Embedded Systems