A high-level modeling framework for the design and optimization of complex CT functions | IEEE Conference Publication | IEEE Xplore