Francesco Bruschi: Methodological issues in the system level design of embedded systems. Polytechnic University of Milan, Italy 2004