DOI,IST REx ID,Research Group,Title of publication
10.1007/s00236-015-0215-4,1846,"ToHe,KrCh",Refinement checking on parametric modal transition systems