SAML goes eclipse: combining model-based safety analysis and high-level editor support.

Michael Lipaczewski, Simon Struck, Frank Ortmeier

Browse the full ICSE paper archive.