Abdesselam Lakehal, Ioannis Parissis: Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study. AST@ICSE 2007: 62-68