temporal logic-based synthesis technology. The impact of this approach is illustrated by