Axel Legay Pierre Wolper On (Omega-)Regular Model Checking http://arxiv.org/abs/0809.2214 2008 CoRR abs/0809.2214 db/journals/corr/corr0809.html#abs-0809-2214 informal publication