Aceto, Achilleos, Francalanza, Ingólfsdóttir, Kjartansson, 2017. On the Complexity of Determinizing Monitors, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-60134-2_1