Design Understanding: From Logic to Specification | IEEE Conference Publication | IEEE Xplore