Trusting Computers Through Trusting Humans: Software Verification in a Safety-Critical Information System. - Alison Adam; Paul Spedding (Int. J. Technol. Hum. Interact., 2007)