Book

Safety-Critical Systems : Problems, Process and Practice

by Chris Dale, Tom Anderson