Return to Issue Details The dead-end and the stripe: analysis of data against formal exploration Download Download PDF