From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI