Relational and graph queries over a transition system. - Siham Rim Boudaoud; Khaoula Es-Salhi; Vincent Ribaud; Ciprian Teodorov (EUROCON, 2015)