An expressway traffic congestion measurement under the influence of service areas