M Függer, J. Widder: "On Efficient Checking of Link-reversal-based Concurrent Systems"; Talk: PUMA/RISE Seminar, Traunkirchen; 2011-10-03 - 2011-10-07.