Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. - Mouna Saad; Leila Jemni Ben Ayed (ATVA, 2005)

A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. - Mouna Chaouch-Saad; Bernadette Charron-Bost; Stephan Merz (RP, 2009)