Text this: Safety instrumented systems verification :