Proposal of System Testing Integration into Safety Critical System Design Process Supported by SysML | IEEE Conference Publication | IEEE Xplore