Experimenting with error abstraction in requirements documents | IEEE Conference Publication | IEEE Xplore