<<Task Specification>> atagwsControl {Analysis}