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