A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL | IEEE Journals & Magazine | IEEE Xplore