This section overviews the parallelization analysis algorithms and describes how the different phases of the analysis fit together. Further description can be found elsewhere [9,10].
