@article{article, title = {{TEA-Cloud: A formal framework for testing cloud computing system}}, publisher = {{Institute of Electrical and Electronics Engineers}}, url = {{https://eprints.whiterose.ac.uk/163550/ }}, year = {{2021}}, month = {{3}}, author = {{Nunez A and Canizares P and Nunez M and Hierons R}}, doi = {{10.1109/TR.2020.3011512}}, volume = {{70}}, journal = {{IEEE Transactions on Reliability}}, issue = {{1}}, pages = {{261-284}}, note = {{Accessed on 2025/03/13}}}