"Optimal planning for architecture-based self-adaptation via model checking ..."

Javier Cámara et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics