Automatic generation of self-adaptive transactors from PSL assertions | IEEE Conference Publication | IEEE Xplore