FSM code in progress
FSM analyser appears to work.

TODO: implement VehicleList
TODO: compute statistics and reportt