Testing and certification of trustworthy systems introduction to minitrack | IEEE Conference Publication | IEEE Xplore