Cleaveland, R., Roscoe, A. W., & Smolka, S. A. (2018). Process Algebra and Model Checking. In Handbook of Model Checking. (pp. 1149–1195). https://doi.org/10.1007/978-3-319-10575-8\_32
