DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-40184-8_20,2327,ToHe,From model checking to model measuring