Whitehead, A.; Laganiere, R.; Bose, P. Formalization of the General Video Temporal Synchronization Problem. ELCVIA 2010, 9, 1-17.