Inicialmente adicionou-se o código da figura1 à operação main da classe ElectronicLock.

Figura 1 - Código da função main da classe passiva ElectronicLock
Feito isso, criou-se a operação Number do tipo trigger, ou seja, que permite com que a função seja utilizada na máquina de estados como um trigger. Para que a função fosse incorporada ao modelo, utilizou-se a máquina de estados da figura 2.
Figura 2 - Máquina de Estados da classe Electronic Lock
Cria-se um componente e um processador para executar a classe, lembrando-se de remover a configuração "Attach on startup" no processador. Os resultados da execução são observados na figura 3.
Figura 3 - Saída da execução da classe Electronic Lock
Através deste warmup pôde-se compreender como integrar uma função de uma classe passiva a um trigger para sua máquina de estados, bem como familiarizar-se com Choice Points.