Abdesselam Lakehal Ioannis Parissis Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. 301-310 2005 conf/issre/2005 ISSRE http://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.26 db/conf/issre/issre2005.html#LakehalP05