\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Toni Mancini et~al.}(2015){Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini \& Igor Melatti}]{ToniMancini_etal2015} Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, and Igor Melatti. "Computing Biological Model Parameters by Parallel Statistical Model Checking." \textit{International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015)} 9044 (2015): 542--554. DOI: 10.1007/978-3-319-16480-9_52.

\end{thebibliography}

