Sebastian Rehberger, Thomas Aicher, Birgit Vogel-Heuser. Increasing Dependability by Agent-Based Model-Checking During Run-Time. In Theodor Borangiu, Damien Trentesaux, André Thomas, Duncan McFarlane, editors, Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2015, Cambridge, UK, November 5-6, 2015. Volume 640 of Studies in Computational Intelligence, pages 159-167, Springer, 2015. [doi]