Return to Article Details A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems Download Download PDF