Email Record: Model-driven development of reliable automotive services :