I have complied the various algorithms and test methods defined in this presentation as matlab script files and simulink models.
Both of them together can be used to train members working on Safety Critical Control system test. I have used these files to explain the concepts to Engineering graduates and Under graduates during various workshops on this topics.