Some tools have been written to analyze nML description. Frank Löhr's Studien- and Diplomarbeit describe two of these, the paper presented at the VLSI workshop '93 explains a nice new way of doing analyses. Andreas Fauth is currently working on the ultimate semantic nML analysis toolbox, so there is hope for some nice reports and maybe even a running executable or two.
See also my List of Publications.