Introducing model-based tool support for applying zero-trust security for microservices at a bank. - Donald Baldwin; Martin Henkel; Erik Perjons (BIR Workshops, 2024)