How to Explore and Manage the Future? Formal Model Analysis for Complex Issues under Deep Uncertainty