Assuring Compliance with Protection Profiles with ThreatGet. - Magdy El Sadany; Christoph Schmittner; Wolfgang Kastner (SAFECOMP Workshops, 2019)