Email Record: Advanced model-based engineering of embedded systems :