Safe System Implementations: from Concepts to Actions