. . . . . . . . "In section 3.2) you give background information on the Find-Fix-Verify pattern (2nd paragraph). This information (in which scenario it was used first, etc.) is not really necessary for the rest of the paper." . "2"^^ . . . . "2019-11-26T09:05:11+01:00"^^ . .