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.
Event-B Model for the Heat Shock Response
