Service-Oriented Modelling of Automotive Systems - Laura Bocchi (2010)