A Case Study of Requirements Ambiguities and Goal-oriented Focused Requirements Specification | IEEE Conference Publication | IEEE Xplore