B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith: "Parameterized Model Checking of Rendezvous Systems"; Talk: Algorithmics of Infinite State Systems workshop, Wien; 2014-07-18.