Verification Methods for Secure and Reliable SoPC Systems | IEEE Conference Publication | IEEE Xplore