Formal Modeling of BRAIN Protocol