Model Catalog in nxtOSEK rewrite