Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications - Singh, Gaurav; Shukla, Sandeep K. (Springer New York, 2010)