>There's no indication on the WWW site that any formal methods were
>used for, say, requirements analysis (to ensure that the requirements
>are, for example, consistent and not underspecified). Do you happen
>to know if any such methods were used, and if so, what they were?