Martina Maggio: Control based design of computing systems. Polytechnic University of Milan, Italy 2012