The Tamarin repository contains many examples from the various papers in the subdirectory examples. These can serve as inspiration when modelling other protocols.
In particular there are subdirectories containing the examples
from the associated papers and theses, and a special subdirectory
features that contains examples illustrating Tamarins
various features.