Visualizing Self-Adaptive Plan Simulations Given Embedded Verification Concerns | IEEE Conference Publication | IEEE Xplore