A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts | IEEE Conference Publication | IEEE Xplore