Dr. Neil Storey is a member of the Department of Engineering at the University of Warwick, where he has many years' experience in teaching electronics to a wide range of undergraduate, postgraduate, postgraduate and professional engineers. He is also the author of Safety-Critical Computer Systems, published by Addision-Wesley.