Controlling the complexity of software designs | IEEE Conference Publication | IEEE Xplore