Jonathan Julián Huerta y Munive, Georg Struth: Verifying Hybrid Systems with Modal Kleene Algebra. RAMiCS 2018: 225-243