Em segundo plano, o módulo adicional cria um modelo temporário a partir das especificações do utilizador. Este modelo pode ser guardado separadamente para que possa ser utilizado para fins de verificação. Essas configurações podem ser feitas conforme mostrado no gráfico.