Automaton MQT-model for virtual computer design | IEEE Conference Publication | IEEE Xplore