@inproceedings{AlTurkiM2011calco,
	author    = {Musab AlTurki and Jos{\'e} Meseguer},
	title     = {{PVeStA}: A Parallel Statistical Model Checking and Quantitative Analysis Tool},
	booktitle = {Proceedings of CALCO’11: The 4th International Conference on Algebra and Coalgebra in Computer Science, Winchester, UK},
	month     = {August},
	year      = {2011}
}