TeStor: Deriving Test Sequences from Model-Based Specifications -- Components at Work --