Automated Implementation of Windows-related Security-Configuration Guides - Stöckle, Patrick; Grobauer, Bernd; Pretschner, Alexander (Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020)