A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification. - Diego Ferreira; Lucas Lima 001 (SBMF, 2024)

Verifying Integrated Designs of UML State Machines and Activities Using CSP. - Diego Ferreira; Lucas Lima 001 (SBMF, 2024)