Handbook Of Research On Service-Oriented Systems And Non-Functional Properties by Stephan Reiff-Marganiec & Marcel Tilly