A comparative study of specification methods for electronic commerce systems | IEEE Conference Publication | IEEE Xplore