Leuschel, Michael and Fontaine, Marc  (2008) Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool.   In:  Proceedings of ICFEM 2008.   Springer-Verlag, pp. 278-297.