Safety critical software: Would you let Linux drive your car? - David VomLehn, Consultant