A framework for the rigorous design of highly adaptive timed systems | IEEE Conference Publication | IEEE Xplore