Quantitative verification-aided machine learning: A tandem approach for architecting self-adaptive IoT systems