The Second Reactive Synthesis Competition (SYNTCOMP 2015) od Jacobs, S, Bloem, R, Brenguier, R, Könighofer, R, Pérez, G, Raskin, J, Ryzhyk, L, Sankur, O, Seidl, M, Tentrup, L, Walker, A