The ATMA application takes as input a FLUD file, and generates a task model in an XML file, file compatible with the TAMOT task model. TAMOT can be downloaded from http://www.ict.csiro.au/staff/Cecile.Paris/IIT-Track-Record-Past-Projects/Projects/Isolde/tamot/
You can read an article about how ATMA fits within WAUTER, at http://ausweb.scu.edu.au/aw05/papers/refereed/balbo/index.html