Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - Singh, Gaurav. (Springer New York : Imprint: Springer, 2010)