Preliminary Experience with the Automatic Generation of Production-Quality Code for the Ford/Intel 8061 Microprocessor | IEEE Journals & Magazine | IEEE Xplore