An hasState relation to connect to a certain state. The saref:hasState property could not be reused because it has domain saref:Device, but a s4auto:Platoon or s4auto:Vehicle are not devices. Therefore, a new s4auto:hasState property with subroperties has been created.