Text this: Diagnosis & reliable design of digital systems /