The Automatic Discovery of Violations to the Normalized Systems Design Theorems: A Feasibility Study | IEEE Conference Publication | IEEE Xplore