1. Contributions to the mathematical theory of epidemics—I;Kermack;Bull. Math. Biol.,1991
2. Contributions to the mathematical theory of epidemics—II. The problem of endemicity;Kermack;Bull. Math. Biol.,1991
3. Recent development and applications of SUMO - Simulation of Urban MObility;Krajzewicz;Int. J. Adv. Syst. Meas.,2012
4. Fluid model-checking in UPPAAL for Covid-19;Jensen,2020
5. Online and compositional learning of controllers with application to floor heating;Larsen,2016