A method-based tool for the specification of multiple views of system requirements | IEEE Conference Publication | IEEE Xplore