Add saref:hasPhenomenonTime restriction as [owl:onProperty saref:hasPhenomenonTime ; owl:someValuesFrom time:TemporalEntity] to s4auto:TrafficLightController, s4auto:RoadSideSensor, and s4auto:ElectronicControlUnit.
"Introduced saref:hasPhenomenonTime as part of general will to make SAREF and SOSA/SSN converge." SOSA defines phenomenonTime at https://www.w3.org/TR/vocab-ssn/#SOSAphenomenonTime.
Note that old saref4watr defines hasPhenomenonTime as:: s4watr:hasPhenomenonTime rdf:type owl:ObjectProperty ; rdfs:domain saref:Measurement ; rdfs:range time:TemporalEntity ; rdfs:label "has phenomenon time"@en ; rdfs:comment "The time for which the value of a measurement applies to the feature of interest."@en .
saref v3.2.1 defines hasPhenomenonTime as: saref:hasPhenomenonTime a owl:ObjectProperty ; rdfs:label "has phenomenon time"@en ; rdfs:comment "Links a procedure execution to the time that the result applies. It may be an interval or an instant, or some other compound temporal entity expressed using OWL Time."@en ; rdfs:range time:TemporalEntity ; skos:historyNote "V3.2.1: Introduced saref:hasPhenomenonTime as part of general will to make SAREF and SOSA/SSN converge."@en .
saref:hasPhenomenonTime is now referenced by s4auto:TrafficLightController, s4auto:RoadSideSensor, and s4auto:ElectronicControlUnit.