CSL Model Checking for the GreatSPN Tool. - Davide D'Aprile; Susanna Donatelli; Jeremy Sproston (ISCIS, 2004)

Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. - Davide Cerotti; Davide D'Aprile; Susanna Donatelli; Jeremy Sproston (ACSD, 2006)

From Time Petri Nets to Timed Automata: An Untimed Approach. - Davide D'Aprile; Susanna Donatelli; Arnaud Sangnier; Jeremy Sproston (TACAS, 2007)

Verifying Business Process Compliance by Reasoning about Actions. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CLIMA, 2010)

Verifying Compliance of Business Processes with Temporal Answer Sets. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CILC, 2011)