A Formal Support for Incremental Behavior Specification In Agile Development. - Anne-Lise Courbis; Thomas Lambolais; Hong-Viet Luong; Thanh-Liem Phan; Christelle Urtado; Sylvain Vauttier (SEKE, 2012)

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. - Thomas Lambolais; Anne-Lise Courbis; Hong-Viet Luong; Thanh-Liem Phan (CSDM, 2015)