Alternative local area network access protocols. - Sonia R. Sachs (IEEE Commun. Mag., 1988)

A Structural Linearization Principle for Processes. - Robert P. Kurshan; Michael Merritt; Ariel Orda; Sonia R. Sachs (Formal Methods Syst. Des., 1994)

Working Group Report on Electronic Notebooks. - Sonia R. Sachs; James Meyers (WETICE, 1996)

Formal Verification of a Distributed Computer System. - Michael Merritt; Ariel Orda; Sonia R. Sachs (Formal Methods Syst. Des., 1997)

Modelling Asynchrony with a Synchronous Model. - Robert P. Kurshan; Michael Merritt; Ariel Orda; Sonia R. Sachs (Formal Methods Syst. Des., 1999)

Reprogrammable Platforms for High-Speed Data Acquisition. - Jozsef Ludvig; James G. McCarthy; Stephen Neuendorffer; Sonia R. Sachs (Des. Autom. Embed. Syst., 2002)

Taming heterogeneity - the Ptolemy approach. - Johan Eker; Jörn W. Janneck; Edward A. Lee; Jie Liu 001; Xiaojun Liu 001; Jozsef Ludvig; Stephen Neuendorffer; Sonia R. Sachs; Yuhong Xiong (Proc. IEEE, 2003)

A New Way to Plan for the Future. - Ray Strong; Joseph Ryan; Doug McDavid; Ying Leung; Ruoyi Zhou; Eric Strauss; John Bosma; Tony Sabbadini; David Jarvis; Sonia R. Sachs; Peter Bishop 003; Cody Clark (HICSS, 2007)

Multi-agent Model of Technological Shifts. - James G. McCarthy; Tony Sabbadini; Sonia R. Sachs (MABS, 2007)