New Results - Parameter Search and Robustness Analysis w.r.t. Temporal Logic Properties