UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering | IEEE Journals & Magazine | IEEE Xplore