DOI,IST REx ID,Research Group,Title of publication
10.4204/EPTCS.259.3,549,ToHe,Causality-based model checking