OpenTTCN/Namespaces