Directions in Safety-Critical Systems by Tom Anderson | Menrva Books