Computer-aided verification of protocols door M.P.A. Sellink