The two SCL services SafetyProvider and SafetyConsumer are specified using state diagrams.