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