Goal-oriented requirements modelling for running systems | IEEE Conference Publication | IEEE Xplore