"Constraint Databases, Data Structures and Efficient Query Evaluation" (2004) Heintz, J.; Kuijpers, B. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3074:1-24

"OBSSLICE: A timed automata slicer based on observers" (2004) Braberman, V.; Garbervetsky, D.; Olivero, A. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114:470-474