On composing and proving the correctness of reactive behavior. - David Harel; Amir Kantor; Guy Katz; Assaf Marron; Lior Mizrahi; Gera Weiss (EMSOFT, 2013)

Simple Executions of Snapshot Implementations. - Gal Amram; Lior Mizrahi; Gera Weiss (CoRR, 2015)

Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure. - Gal Amram; Avi Hayoun; Lior Mizrahi; Gera Weiss (DISC, 2022)