Dilek Düstegör, Vincent Cocquempot, Marcel Staroswiecki: Structural analysis for residual generation: towards implementation. CCA 2004: 1217-1222