UMLsec4Edge: Extending UMLsec to model data-protection-compliant edge computing systems | IEEE Conference Publication | IEEE Xplore