Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption - Roscoe, A; Wang, X; Lazic, R (Springer LNCS, 2004)