_id,doi,title
1846,10.1007/s00236-015-0215-4,Refinement checking on parametric modal transition systems