Models have not all been migrated to this new version of the platform yet. More models can be found on the previous version of the repository at http://www.di.uminho.pt/research/hcispecs.