Consistency Management for Security Annotations for Continuous Verification. - Frederik Reiche; Thomas Weber 006; Simeon Becker; Sebastian Weber 001; Robert Heinrich; Erik Burger (MoDELS (Companion), 2024)