Highly reliable relational control programs for robust rapid transit systems | IEEE Conference Publication | IEEE Xplore