Testing cyclic software components of reactive systems on the basis of formal specificationsSadegh SadeghipourÉpuisé4,3Prévenez-moi
