A Case Study of MBSE Method Used in the EMU Train Design | IEEE Conference Publication | IEEE Xplore