Project Description

Rule based specifications for several applications in the domain of traffic management.