Structural test coverage criteria for lustre programs. - Abdesselam Lakehal; Ioannis Parissis (FMICS, 2005)

Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. - Abdesselam Lakehal; Ioannis Parissis (ISSRE, 2005)

Critères de couverture structurelle pour les programmes Lustre. (Strurtural coverage criteria for Lustre programs). - Abdesselam Lakehal (2006)

Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study. - Abdesselam Lakehal; Ioannis Parissis (AST, 2007)

Structural coverage criteria for LUSTRE/SCADE programs. - Abdesselam Lakehal; Ioannis Parissis (Softw. Test. Verification Reliab., 2009)