Copy of presentation delivered Wednesday 30 September 2009, Bastad Tags:signalling system,safety case process,CENELEC,modelling method,Muller,Bastad Year of Publication: 2009 Document: View