Luca Di Stefano, Frédéric Lang, Wendelin Serwe: Combining SLiVER with CADP to Analyze Multi-agent Systems. COORDINATION 2020: 370-385