Testing feature - rich reactive systems. - Savor, Tony