@techreport{CKW12b,
	author={Chilton, Chris and Kwiatkowska, Marta and Wang, Xu},
	title={Revisiting Timed Specification Theories: A Linear-Time Perspective},
	number={CS-RR-12-04},
	institution={Department of Computer Science, University of Oxford},
	year={2012},
}