Informasi yang berkaitan dengan it/Probabilistic Symbolic Model Checker