InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. - Dan Barak; David Harel; Rami Marelly (IEEE Trans. Software Eng., 2006)

Toward Verified Biological Models. - Avital Sadot; Jasmin Fisher; Dan Barak; Yishai Admanit; Michael J. Stern; E. Jane Albert Hubbard; David Harel (IEEE ACM Trans. Comput. Biol. Bioinform., 2008)