Constraint-driven synthesis from architectures described in ELLA | IEEE Conference Publication | IEEE Xplore