arXiv 2001-01-19 EN Checking Properties within Fairness and Behavior Abstractions Ultes-Nitsche, Ulrich · Wolper, Pierre
