João M. Fernandes, Ricardo J. Machado. System-Level Object-Orientation in the Specification and Validation of Embedded Systems. In Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2001, Pirenopolis, Brazil, September 10-15, 2001. pages 8-13, IEEE Computer Society, 2001. [doi]
Abstract is missing.