Correct-by-design output feedback of LTI systems | IEEE Conference Publication | IEEE Xplore