Ark: a constraint-based method for architectural synthesis of smart systems - Guessi, Milena; Oquendo, Flavio; Nakagawa, Elisa Yumi (Software and Systems Modeling, 2020)