The ProVerif code for PTB's (early) NTS analysis
PTB's UPPAAL code regarding the "broadcast time sync with TESLA" analysis