A Formal Model for the Simulation and Analysis of Early Biofilm Formation. - Antonio Cerone; Enrico Marsili (DataMod@CIKM, 2020)