Modular Model Checking Paper - View it on GitHub