Visible to the public Bio-Inspired Techniques to Support High-Assurance Dynamically Adaptive Systems that Explicitly Handle Environmental Uncertainty