Signal probability calculations using partial functional manipulation. - Ravishankar Kodavarti; Don E. Ross (VTS, 1993)