Towards model-based development of safety-related control applications | Publicación