of Symbolic-Probabilistic Systems -- A Test Generation Framework for quiescent Real-Time