Embedded systems operate within numerous quantitative constraints. With existing model-driven software tools having limited adaptability, this book presents new methods for dealing with quantitative constraints when developing model-driven embedded systems.