"Design Validation of ZCSP with SPIN."

Vincent Beaudenon, Emmanuelle Encrenaz, Jean Lou Desbarbieux (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics