When you cite our IscasMC model checker, please use [HahnLSTZ14].

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