High Dependability Computing Consortium Created by Carnegie Mellon and NASA Will Host a Two-Day Workshop on "Dependability in Real Life," May 7-8 [1]