The formal, tool supported development of real time systems | IEEE Conference Publication | IEEE Xplore