Model-Based Design To Push the Boundaries of Sequence Control