Model based testing by Jan Peleska