On the Sequential Massart Algorithm for Statistical Model Checking. - Jégourel, Cyrille; Sun, Jun; Dong, Jin Song (2018)