Formal abstract architecture for use case specifications | IEEE Conference Publication | IEEE Xplore