Checking correctness of code generator architecture specifications | IEEE Conference Publication | IEEE Xplore