Open tool support for System-Theoretic Process Analysis · Study