How to cite the IscasMC tool

When you cite our IscasMC model checker, please use this paper.

Feel free to contact us by email if you find issues with the online model checker.