ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis. - Nael B. Abu-Ghazaleh; Murali Rangarajan; Darryl D. Dieckman; Perry Alexander; Philip A. Wilsey (ECBS, 1999)

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)