Didier Bert Fabrice Bouquet Yves Ledru Sylvie Vignes Validation of Regulation Documents by Automated Analysis of Formal Models. 2006 ReMo2V http://ceur-ws.org/Vol-241/paper3.pdf conf/caise/2006remo2v db/conf/caise/remo2v2006.html#BertBLV06