The jitter model for metastability and its application to redundant synchronizers | IEEE Journals & Magazine | IEEE Xplore