DOI,IST REx ID,Research Group,Title of publication
null,3719,"ToHe,CaGu",Lumpability abstractions of rule-based systems