Runtime test: Initialization

1. Initial state - Waiting for workbook ID

   • message with workbook id -> request for model; next state
   • message without id -> nothing

2. Waiting for model

   • request with model -> model ready, next state
   • otherwise -> nothing