TY - JOUR T1 - Testing using CSP models: time, inputs, and outputs JO - ACM Transactions on Computational Logic PY - 2022/11/19 AU - Baxter J AU - Cavalcanti A AU - Gazda M AU - Hierons R ED - PB - Association for Computing Machinery (ACM) Y2 - 2025/03/13 ER -