Low power hardware synthesis from concurrent action-oriented specifications - Singh, Gaurav (Springer, 2010)