Model-based testing tools have maturely signified the success of functional testing of such systems. An urge to spawn the testing of non-functional behavior from ... the System's Engineering ...