Toward model-based requirement engineering tool support | IEEE Conference Publication | IEEE Xplore