Phased-mission system analysis using Boolean algebraic methods | lit.salon