Safety Academy, Designing for safety critical systems