Generating visual editors for formally specified languages | IEEE Conference Publication | IEEE Xplore