The DODT tool applied to sub-sea software.

Tor Stlhane, Tormod Wien

Browse the full RE paper archive.