Title: Phased-Mission System Analysis Using Boolean Algebraic Methods