Text this: Designing CSP-OZ Transitivity Property Using Formal Specification