Systems engineering framework for railway control & safety systems | IEEE Conference Publication | IEEE Xplore