Integration of Tool Support for Assurance and Certification and for Knowledge-Centric Systems Engineering | IEEE Conference Publication | IEEE Xplore