Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications. - Ryoichi Ishigami; Sho Matsumoto; Tomohiko Takagi (PRDC, 2024)