Predicate diagrams as basis for the verification of reactive systemsCecilia E. NugraheniÉpuisé4,3Prévenez-moi
