Robustness of a bisimulation-type faster-than preorder - Katrin Iltgen; Walter Vogler (EXPRESS, 2009)