On June 24th I presented to the Dependable Systems Engineering group here in the School of Computer Science, St Andrews. The group meets once a month for a presentation from one of its members over lunch. The presenter talks about their current research, providing a good opportunity to keep up to date with other work within the group.On June 24th I presented to the Dependable Systems Engineering group here in the School of Computer Science, St Andrews. The group meets once a month for a presentation from one of its members over lunch. The presenter talks about their current research, providing a good opportunity to keep up to date with other work within the group.