Generating displays for specifications using attribute grammars | IEEE Conference Publication | IEEE Xplore