_id,doi,title
549,10.4204/EPTCS.259.3,Causality-based model checking