A Complete Axiomatization for Reduced Clock Constraint Specification Language. - Bogdan Chornomaz; Kirill Rukkas; Kseniia Troino (ICTERI, 2016)