The CarRental example for PUS course