Françoise Bellegarde Samir Chouali Jacques Julliand Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. 477-496 2002 conf/zum/2002 ZB http://link.springer.de/link/service/series/0558/bibs/2272/22720477.htm db/conf/zum/zb2002.html#BellegardeCJ02