TeStor: Deriving Test Sequences from Model-based Specifications