Exploiting domain-specific knowledge to refine simulation specifications | IEEE Conference Publication | IEEE Xplore