UML Specifications Towards a Codesign Environment. - Mauro Prevostini; M. Lajolo; A. S. Basu (FDL, 2004)