An algebra for modeling continuous time systems | IEEE Conference Publication | IEEE Xplore