Danny Weyns, Sam Malek, Jesper Andersson. FORMS: Unifying reference model for formal specification of distributed self-adaptive systems. TAAS, 7(1):8, 2012. [doi]
@article{WeynsMA12,
title = {FORMS: Unifying reference model for formal specification of distributed self-adaptive systems},
author = {Danny Weyns and Sam Malek and Jesper Andersson},
year = {2012},
doi = {10.1145/2168260.2168268},
url = {http://doi.acm.org/10.1145/2168260.2168268},
researchr = {https://researchr.org/publication/WeynsMA12},
cites = {0},
citedby = {0},
journal = {TAAS},
volume = {7},
number = {1},
pages = {8},
}