Certifiable Critical Complex Computing Systems