Building Dependable Concurrent Systems through Probabilistic Inference, Predictive Monitoring and Self-Adaptation.- Some Thoughts...