MBSE Tool Selection Process: Feedback from a Railway Case Study | IEEE Conference Publication | IEEE Xplore