Gert Döhmen Ronald Herrmann Hergen Pargmann Translating VHDL into Functional Symbolic Finite-State Models. 125-148 1995 7 Formal Methods in System Design 1/2 db/journals/fmsd/fmsd7.html#DohmenHP95