@article{articleca0c7446,
title   = {Ark: a constraint-based method for architectural synthesis of smart systems},
author = {Guessi, Milena and Oquendo, Flavio and Nakagawa, Elisa Yumi},
year = {2020},
doi = {10.1007/s10270-019-00764-7},
journal   = {Software and Systems Modeling}
}