Sebastián Vergara, Laura González, Raúl Ruggia: Formalizing Microservices Patterns with Event-B: The Case of Service Registry. ICSOC Workshops 2023: 253-264