In another part of the documentation, related to the Implementation of the synchronizer, I present the code that I've wrote and all of my technical choices.