أرسل هذا في رسالة قصيرة: Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS