Irina Rychkova Alain Wegmann A Method for Functional Alignment Verification in Hierarchical Enterprise Models. 2006 BUSITAL http://ceur-ws.org/Vol-237/paper6.pdf conf/caise/2006busital db/conf/caise/busital2006.html#RychkovaW06