This paper seems like something I would like to keep as reference, especially with its approach to employ STRIDE and present very elaborate DFD (which you don't see as often in my experience).
The DFD in 7.1 is quite impressive.