A Toolbox for Proving and Maintaining Hybrid Specifications. - Michael S. Branicky; Ekaterina Dolginova; Nancy A. Lynch (Hybrid Systems, 1996)

Safety Verification for Automated Platoon Maneuvers: A Case Study. - Ekaterina Dolginova; Nancy A. Lynch (HART, 1997)