Practical ultra-reliability for abstract data types. - Nikolik, Borislav; Hamlet, Dick (Software Testing: Verification & Reliability, 2007)