Andreas Rain has released a DNS / mDNS model for INET. Main features include DNS (RFC 1035), the experimental stateless DNS, mDNS (multicast DNS, RFC 6762), mDNS privacy. See the web  site for detailed information and link to the github repository.