Defining requirements at different levels of abstraction | IEEE Conference Publication | IEEE Xplore