From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation | IEEE Conference Publication | IEEE Xplore