AutoFOCUS and the MoDe tool | IEEE Conference Publication | IEEE Xplore