Technology and Assessment of Safety-Critical Systems by Felix Redmill, Tom Anderson | Lex | Lex