Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Kim Solin: Towards an Algebra for Real-Time Programs. RAMiCS 2012: 50-65