Kara, et al.. Temporal Logics on Words with Multiple Data Values. 6 Oct. 2010.