Executors Framework mCRL2 model and trace