A smart parking system