Françoise Bellegarde Christophe Darlot Jacques Julliand Olga Kouchnarenko Reformulation: A Way to Combine Dynamic Properties and B Refinement. 2-19 2001 conf/fm/2001 FME http://link.springer.de/link/service/series/0558/bibs/2021/20210002.htm db/conf/fm/fme2001.html#BellegardeDJK01