On reliability and trustworthiness of high-level fusion-based decision support systems: basic concepts and possible formal methodologies | IEEE Conference Publication | IEEE Xplore