@InProceedings{CKW12,
	author={Chilton, Chris and Kwiatkowska, Marta and Wang, Xu},
	title={Revisiting Timed Specification Theories: A Linear-Time Perspective},
	booktitle={Proc. 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)},
	year={2012},
	editor={Jurdzinski, Marcin and Nickovic, Dejan},
	pages={75--90},
	organization={},
	publisher={Springer},
	series={Lecture Notes in Computer Science},
	volume={7595},
	address={},
	month={},
	note={},
}