Software, Services, and Systems - De Nicola (Springer International Publishing, 2015)