Zaslat SMS: Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS