Checking Interface Interaction Protocols Using Aspect-Oriented Programming | IEEE Conference Publication | IEEE Xplore