Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony. Specification and automatic checking of architecture constraints on object oriented programs. Information \& Software Technology, 101:16-31, 2018. [doi]
Abstract is missing.