Modeling of MARTe-based real-time applications with SysML