About the Authors

Antonio Ferrández

Roles Formal analysis, Investigation, Software, Validation, Writing – original draft

Affiliation GPLSI Research Group, Department of Software and Computing Systems, University of Alicante, Alicante, Spain

Jesús Peral

Roles Formal analysis, Investigation, Software, Validation, Writing – original draft

jperal@dlsi.ua.es

Affiliation Lucentia Research Group, Department of Software and Computing Systems, University of Alicante, Alicante, Spain

Competing Interests

The authors have declared that no competing interests exist.