"Verification of Asynchronous Systems with an Unspecified Component."

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