Lukzag Paper Model: Verified