@article{article, title = {{Testing using CSP models: time, inputs, and outputs}}, publisher = {{Association for Computing Machinery (ACM)}}, url = {{}}, year = {{2022}}, month = {{11}}, author = {{Baxter J and Cavalcanti A and Gazda M and Hierons R}}, journal = {{ACM Transactions on Computational Logic}}, note = {{Accessed on 2025/05/20}}}