Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components | IEEE Conference Publication | IEEE Xplore