Enhancing Requirements Engineering in Agile Methodologies by Agent-Oriented Goal Models: Two Empirical Case Studies | IEEE Conference Publication | IEEE Xplore