Requirements analysis and modelling | IEEE Conference Publication | IEEE Xplore