Bortolussi, Luca and Tschaikowski, Max Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. In: Analytical and Stochastic Modelling Techniques and Applications. ASMTA 2016. Lecture Notes in Computer Science (9845). Springer, pp. 92-106. ISBN 978-3-319-43904-4 (2016)