Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.

Victor Bandur, Wolfram Kahl, Alan Wassyng

Browse the full FMICS paper archive.