CARMEN modules for the SmartTer.