Wang, Zilong Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
https://kluedo.ub.uni-kl.de/frontdoor/deliver/index/docId/4354/file/ZilongThesis.pdf (Any fulltext)
Wang, Z. (2016). Algorithms and Tools for Verification and Testing of Asynchronous Programs. PhD Thesis, Technische Universität Kaiserslautern, Kaiserslautern.