Automatic Test Generation for LUSTRE/SCADE Programs | IEEE Conference Publication | IEEE Xplore