發送短信: Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS