Add plugin for SysML to B transformation