A case study on the application of an artefact-based requirements engineering approach | IET Conference Publication | IEEE Xplore