Automated Logic WebCTRL