Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, and Igor Melatti. "Computing Biological Model Parameters by Parallel Statistical Model Checking." _International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015)_ 9044 (2015): 542–554. DOI: 10.1007/978-3-319-16480-9_52.