Modeling of MARTe-Based Real-Time Applications With SysML | IEEE Journals & Magazine | IEEE Xplore