Automated Requirements-Based Testing of Black-Box Reactive Systems