Concurrency Verification by Willem-Paul de Roever, Frank De Boer & Yassine Lakhnech