Αποστολή με SMS: Model-Driven Development of Reliable Automotive Services