Specifications for Traffic Signals and ITS Systems