Duarte Lopes de Oliveira Marius Strum Wang Jiang Chau Miriã_SI: a tool for the synthesis of speed-independent multi burst-mode controllers. 56-61 2005 conf/sbcci/2005 SBCCI http://doi.acm.org/10.1145/1081081.1081101 db/conf/sbcci/sbcci2005.html#OliveiraSC05