How to Keep Domain Requirements Models Reasonably Sized | IEEE Conference Publication | IEEE Xplore