Chapter #4 - Section 4.3.4 - Vehicle tracker that safely publishes underlying state