Coding for a Believable Specification to Implementation Mapping | IEEE Conference Publication | IEEE Xplore