Goal oriented techniques and methods: Goal refinement and levels of abstraction | IEEE Conference Publication | IEEE Xplore