Modern software systems in every application domain are increasingly built as distributed systems. Business applications are structured as cooperating microservices, IoT devices communicate with cloud ...