Finish TimedT (#7) · Issues · distributed-systems / models