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