Jean-Raymond Abrial Louis Mussat Introducing Dynamic Constraints in B. 83-128 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930083.htm db/conf/b/b1998.html#AbrialM98