Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony: Specification and automatic checking of architecture constraints on object oriented programs. Inf. Softw. Technol. 101: 16-31 (2018)