%% doi = {10.1007/xxx}, @inproceedings{eb60, author = {J.F. Groote and Vink, E.P. de}, title = {Problem Solving Using Process Algebra Considered Insightful}, booktitle = {ModelEd, TestEd, TrustEd -- Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday}, editor = {J.-P. Katoen, R. Langerak, and A. Rensink}, publisher = {LNCS 10500}, year = {2017}, pages = {48--63}, }