The DODT tool applied to sub-sea software | IEEE Conference Publication | IEEE Xplore