"LTL Model-Checking for Communicating Concurrent Programs."

Adrien Pommellet, Tayssir Touili (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics