Using Multiple Input, Multiple Output Formal Control to Maximize Resource Efficiency in Architectures | IEEE Conference Publication | IEEE Xplore