Domain-retargetable reverse engineering. III. Layered modeling | IEEE Conference Publication | IEEE Xplore