Formal verification of the high availability quality attribute for software systems based on microservices architectures (2023)
ilustraciones, graficas