Protocol Specification, Testing and Verification XV | EKB DL