Specification and synthesis of a mixed-mode systems: Experiments in a VHDL environment | IEEE Conference Publication | IEEE Xplore