Add Automatic-Module-Name to RFC6243 model