Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems. Function/Architecture Optimization and Co-Design of Embedded Systems presents the authors\' work in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems....