A model conversion service for Spectre.