Extending the verification capabilities of middleware for reliable distributed self-adaptive systems | Publicación