Michael Leuschel Marisa Llorens Javier Oliver Josep Silva Salvador Tamarit SOC: a slicer for CSP specifications. 165-168 2009 PEPM http://doi.acm.org/10.1145/1480945.1480969 conf/pepm/2009 db/conf/pepm/pepm2009.html#LeuschelLOST09