Stefan Rass Sandra König Synchronization in Security Games. 129-148 2022 GameSec https://doi.org/10.1007/978-3-031-26369-9_7 conf/gamesec/2022 db/conf/gamesec/gamesec2022.html#RassK22