CTL-parking_02-final