Text this: Proceedings of the Digital Systems Reliability and Nuclear Safety Workshop :