For me this is a seminal article, which almost eight years later still raises eloquently the most critical barriers to practical adoption. I read it again after

For me this is a seminal article, which almost eight years later still raises eloquently the most critical barriers to practical adoption. I read it again after reading the formal verification thread.