SafeML(2) – Concepts and elements of SafeML