The CACSD package SIMART: description and case study | IEEE Conference Publication | IEEE Xplore