Alexander Tuzhilin Zvi M. Kedem Modeling Data-Intensive Reactive Systems with Relational Transition Systems. 203-231 1996 33 Acta Inf. 3 db/journals/acta/acta33.html#TuzhilinK96