@article{bibliotecadigitalicesi10906/81961,
title =    {Towards practical runtime verification and validation of self-adaptive software systems},
journal =    {Lecture Notes in Computer Science},
year =    {2010},
}