MSC and SDL in project life cycles. - Rachida Dssouli; Yair Lahav (Comput. Networks, 2001)

Cinderella SLIPPER: An SDL to C-Code Generator. - Yosef Rauchwerger; Finn Kristoffersen; Yair Lahav (SDL Forum, 2005)