SafeML(3) – SafeML diagram examples