_id,doi,title 5417,10.15479/AT:IST-2014-172-v1-1,From model checking to model measuring