Adam, A., & Spedding, P. Trusting computers through trusting humans: software verification in a safety-critical information system. International Journal of Technology and Human Interaction, 3(4), 1-14