Translator from the ASLan++ specification language to ASLan (and back), developed in the AVANTSSAR and SPaCIoS EU projects