Synthesis, Testing, and Reconfiguration Techniques - Fei Su; Krishnendu Chakrabarty (Taylor and Francis, 2007)