www.prismmodelchecker.org
[RCCS20] Nelson Rosa, David Cavalcanti, Gláucia Campos and André Silva. Adaptive middleware in go - a software architecture-based approach. Journal of Internet Services and Applications. 2020. [Presents and approach to developing adaptive middleware, including a connection to PRISM for quantitative analysis.]
Links: [Google] [Google Scholar]

Publications