(This July 22 story is refiled to include omitted title for Chris Valasek, paragraph 3)