Formal algebraic modelling of a city-wide smart parking system Conference Paper 2020 Congress communication uri icon