Tony Savor, "Testing Feature-Rich Reactive Systems", IEEE Software vol. 25 no. , p. 74-81, , 2008