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