Now SDLPS can be downloaded and used for free for personal, educational or non commercial use. Feel free to ask to the administrator to request your key.
Enjoy formal modeling!
Analysis of Applications to Improve the Energy Savings in Residential Buildings...