On the Design of ORBIT. - Murali Rangarajan; Iqbal Mutabanna; Darryl D. Dieckman; Badar Farooqi; Amitvikram Rajkhowa; Sarjoun Doumit; Arun Venkataraman; Cindy Kong; Roshan Kamath; Perry Alexander; Nael B. Abu-Ghazaleh (ECBS, 2000)

Formal modeling of active network nodes using PVS. - Cindy Kong; Perry Alexander; Darryl D. Dieckman (FMSP, 2000)

A Practical Semantics for Design Facet Interaction. - Perry Alexander; Cindy Kong; David Schonberger (ECBS, 2001)

Heterogeneous Modeling Support for Embedded Systems Design. - Perry Alexander; Cindy Kong (EMSOFT, 2001)

Implementation of Specification Conjunction and Domain Interaction in Rosetta. - Cindy Kong (ASE, 2001)

Rosetta: Semantic Support for Model-Centered Systems-Level Design. - Perry Alexander; Cindy Kong (Computer, 2001)

Multi-Faceted Requirements Modeling. - Cindy Kong; Perry Alexander (RE, 2002)

The Rosetta Meta-Model Framework. - Cindy Kong; Perry Alexander (ECBS, 2003)

Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. - Cindy Kong; Perry Alexander; Catherine Menon (J. Univers. Comput. Sci., 2003)