| To test the effect of this change, the model can be analyzed again in order to check schedulability | для испытания результата этого изменения модель может быть снова подвергнута анализу с целью проверить планируемость (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |