Discrete event system specification, synthesis, and optimization of low-power FPGA-based embedded systems. - Tim Pifer; David M. Schwartz; Roman Lysecky; Chungman Seo; Bernard P. Zeigler (FPT, 2013)