A test generation framework for quiescent real-time systems / L. Brandán Briones, E. BrinksmaTesting multi input-output real-time systems : (extended version) / L. Brandán Briones, E. BrinksmaA test generation framework for quiescent real-time systems / L. Brandán Briones, E. BrinksmaTesting multi input-output real-time systems : (extended version) / L. Brandán Briones, E. BrinksmaTheories for model-based testing: real-time and coverage / Laura Brandán BrionesTheories for model-based testing: real-time and coverage / Laura Brandán Briones