Requirements models at run-time to support consistent system evolutions | IEEE Conference Publication | IEEE Xplore