Burst Automaton: Framework for Speed-Independent Synthesis Using Burst-Mode Specifications | IEEE Journals & Magazine | IEEE Xplore