www.prismmodelchecker.org
[PTD+25b] Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen and Silvia Lizeth Tapia Tarifa. Analysing Self-Adaptive Systems as Software Product Lines. Journal of Systems and Software. 2025. [Proposes an approach to model self-adaptive systems as dynamic software product lines, using PRISM via the ProFeat tool.]
Links: [Google] [Google Scholar]

Publications