SmartParking

The SmartParking model shown using Vergil, the Ptolemy II schematic editor: