E-mail the story: Scientists develop method for verifying safety of computer-controlled devices