@inbook {,
	title = {Process Algebra and Model Checking},
	booktitle = {Handbook of Model Checking.},
	year = {2018},
	pages = {1149{\textendash}1195},
	doi = {10.1007/978-3-319-10575-8\_32},
	url = {https://doi.org/10.1007/978-3-319-10575-8\_32},
	author = {Rance Cleaveland and A. W. Roscoe and Scott A. Smolka}
}
