Model Checking of Asbru - Dunets, Andriy; Bäumler, Simon; Hommersom, Arjen; Reif, Wolfgang (Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg, 2009)