Copyright for the PtinyOS domains
The Ptolemy II PtinyOS domain includes Nc2Moml, which uses copyrighted code from
JDOM
and
NesC