Testing reactive systems with GAST (2004)

by P Koopman, R Plasmeijer
Venue:Trends in Functional Programming 4