Safety and Reliability of Programmable Electronic Systems - Proceedings of the Programmable Electronic Systems Safety Symposium held at the Beau Sejour Centre, Channel Islands, Uk, 28-30 May 1986