Software testing, verification & reliability (Wiley, 1991)