TRAM: A tool for transforming textual requirements into analysis models | IEEE Conference Publication | IEEE Xplore