@article{policellaRasconi05,
author = {Nicola Policella and Riccardo Rasconi},
title = {{Designing  a Testset Generator for Reactive Scheduling}},
journal={Intelligenza Artificiale},
number= 3,
pages={29--36}
year= 2005
}