Extending the verification capabilities of middleware for reliable distributed self-adaptive systems | IEEE Conference Publication | IEEE Xplore