https://5dok.org/document/4yrg98vq-efficient-model-checking-of-applications-with-i-o.html