Lustructu: a tool for the automatic coverage assessment of Lustre programs | IEEE Conference Publication | IEEE Xplore