Model-Driven Development Of Reliable Automotive Services by