A model based safety architecture framework for Dutch high speed train lines. - Katja Schuitemaker; J. G. Braakhuis; Mohammad Rajabalinejad (SoSE, 2015)