Book

Technology and Assessment of Safety-Critical Systems

by Felix Redmill, Tom Anderson