An Algebraic Framework for Developing and Maintaining Real-Time Systems.