@InProceedings{KPQU12,
	author={Marta Kwiatkowska, David Parker, Hongyang Qu, and Mateusz Ujma},
	title={On Incremental Quantitative Verification for Probabilistic Systems},
	booktitle={Proc. High-Order Workshop on Automated Runtime verification and Debugging (HOWARD-60)},
	year={2012},
	editor={},
	pages={},
	organization={},
	publisher={},
	series={},
	volume={},
	address={},
	month={},
	note={To appear},
}