Class SimulinkJustification