A model based safety architecture framework for Dutch high speed train lines | IEEE Conference Publication | IEEE Xplore