查找： 关键词为 binary decision diagram for phased-mission systems(PMS-BDD) 的文献