Which Synchronisation of behavior VPs is desired and how should it work?

[haarer]

1. What are the requirements (concerns) to synchronize between different behavior diagrams?
2. What are suitable implementations ?

What we have is this : https://github.com/GfSE/SAF-Specification/blob/main/developing-saf/concept/state_F.md

SFNresultingInSSE : Specifies the fact that a System Function can perform a particular set of System State transitions.
SSEperformingSFN : Specifies the fact that the Function is only provided in distinct States. The state is a precondition for the Function to be able to perform.