SAML goes eclipse — Combining model-based safety analysis and high-level editor support | IEEE Conference Publication | IEEE Xplore