An Aspect and Transaction Oriented Programming, Design and Verification Language (PDVL) | IEEE Conference Publication | IEEE Xplore