AADL spec of DNS server by Matteo