Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov: Weighted Register Automata and Weighted Logic on Data Words. ICTAC 2016: 370-384