“…This method reaches its goal by algebraically manipulating the logic function and using binary decision graphs, as presented by R. Bryant, S. Ackers, S.M. Nowick, C. Jeong, Berthomieu B. and J. Brzozowski [4][5][6][7][8][9][10][11][12]. However, this method, will not describe the hazard's evolution (at least not completely), meaning that no timing information will be revealed.…”