This paper is organized as it follows: section 2 presents related work to this research, section 3 presents the prototype that has been implemented, section 4 presents the mapping between SysML and ...