Kozlovaand Zakharov. On the Model Checking of Sequential Reactive Systems. 2016.