An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements | IEEE Conference Publication | IEEE Xplore