Building high-assurance systems using COTS components: whether, why, when and how? | IEEE Conference Publication | IEEE Xplore