13 RFCs mentioned in the text of RFC 9032 (Encapsulation of 6TiSCH Join and Enrollment Information Elements)