Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling | IEEE Conference Publication | IEEE Xplore