Re-designing Tasking Structures of Ada Programs for Analysis: a Case Study. - Wei Jen Yeh, Fevzi; Michal Young, Fevzi (Software Testing: Verification & Reliability, 1994)