Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - Singh, Gaurav (Springer Science+Business Media, LLC, 2010)