Return to Article Details An Object Oriented Model of a Railway Safety-Related Control System Download Download PDF