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