Text this: Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS