Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications | IEEE Conference Publication | IEEE Xplore