Viewing CSP specifications with UML-RT diagrams
scientific article; zbMATH DE number 6250195