Current Issues in Safety-critical Systems by F. Ed Redmill & Mary Woronov