Design Validation of ZCSP with SPIN. - Vincent Beaudenon; Emmanuelle Encrenaz; Jean Lou Desbarbieux (ACSD, 2003)

Data decision diagrams for Promela systems analysis. - Vincent Beaudenon; Emmanuelle Encrenaz; Sami Taktak (Int. J. Softw. Tools Technol. Transf., 2010)