Complements and corrections in §5

Systerel contribution to QA plan