@article{bibliotecadigitalicesi10906/82391,
title =    {Using Models at Runtime to Address Assurance for Self-Adaptive Systems},
year =    {2014},
issn =    {0302-9743},
}