Add documentation for SysML to B translator