Modular certification of smart production systems