[isabelle] request for literature pointers

I made the following claim in a document:

  "user errors in formally modelling artifacts and expressing properties are
   far more common than errors in the design and implementation
   of formal methods tools"

To me this seems uncontroversial, but it would be nice to be able to point
to a paper that backs this up. Off the top of my head, I can't think of any.
Can anybody help?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.