Integration of SysML-Papyrus corrections