Model-Driven Development of Reliable Automotive Services - Broy, Manfred (Springer Berlin Heidelberg, 2020)