The automated extraction of requirements from UML models | IEEE Conference Publication | IEEE Xplore