Return to Article Details The safety assurance method of railway control systems using object oriented languages Download Download PDF