Development of Bdd Models For Decision Support In Phased Mission Systems