11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, page. 47 - 64, 2022-10-25
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 24, no. 6, page. 911 - 948, 2022-12