"Verification of asynchronous systems with an unspecified component."

Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics