Design and implementation of mixed-mode systems