Return to Computational Modeling of the Eukaryotic Heat Shock Response
Event-B model for the Heat Shock Response
Usman Sanwal, Luigia Petre and Ion Petre have built the Event-B model for the heat shock response
The Rodin model can be downloaded here and their pdf printouts can be downloaded here.