Formal algebraic modelling of a city-wide smart parking system | Publicación