An Excursion Through Quantitative Model Refinement. - Sepinoud Azimi; Eugen Czeizler; Cristian Gratie; Diana-Elena Gratie; Bogdan Iancu; Nebiat Ibssa; Ion Petre; Vladimir Rogojin; Tolou Shadbahr; Fatemeh Shokri (Int. Conf. on Membrane Computing, 2015)