@inbook {9837,
	title = {Extending CTL to Specify Quantitative Temporal Requirements},
	booktitle = {Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation  of Enterprise Information Systems, MSVVEIS 2010},
	year = {2010},
	publisher = {SciTePress},
	organization = {SciTePress},
	address = {Madiera, Portugal},
	author = {Ammar Mohammed and Ulrich Furbach}
}
