Lakhdar Akroun Gwen Salaün Lina Ye Automated Analysis of Asynchronously Communicating Systems. 1-18 2016 SPIN https://doi.org/10.1007/978-3-319-32582-8_1 conf/spin/2016 db/conf/spin/spin2016.html#AkrounSY16