[w_t_payne]

Depends on how it is managed.

[nmrm2]

Definitely. Formal methods don't replace process carte blanc, but rather make the tasks from which the review process is composed tractable.