OpenTTCN/Extensions