Saddek Bensalem Axel Legay Thanh-Hung Nguyen Joseph Sifakis Rongjie Yan Incremental Invariant Generation for Compositional Design. 157-167 2010 TASE http://dx.doi.org/10.1109/TASE.2010.23 conf/tase/2010 db/conf/tase/tase2010.html#BensalemLNSY10