From graphical representations to formal specifications and return: translation algorithms in the Harmony environment | IEEE Conference Publication | IEEE Xplore