@article{10.1109/MS.2008.99,
author = {Tony Savor, },
title = {Testing Feature-Rich Reactive Systems},
journal = {IEEE Software},
volume = {25},
number = {},
issn = {0740-7459},
year = {2008},
pages = {74-81},
doi = {doi.ieeecomputersociety.org/10.1109/MS.2008.99},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}