Boigelot, Legay, Wolper, 2004. Omega-Regular Model Checking, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-24730-2_41