Phased-Mission System Analysis Using Boolean Algebraic Methods.

Arun K. Somani Kishor S. Trivedi Phased-Mission System Analysis Using Boolean Algebraic Methods. 98-107 1994 SIGMETRICS db/conf/sigmetrics/sigmetrics94.html#SomaniT94