Automated translation of JSD into CSP--a case study in methods integration. - Yeung, W. L. (Journal of Systems & Software, 2000)