C2E2: a tool for verifying annotated hybrid systems. - Parasara Sridhar Duggirala; Matthew Potok; Sayan Mitra; Mahesh Viswanathan 001 (HSCC, 2015)

C2E2: A Verification Tool for Stateflow Models. - Parasara Sridhar Duggirala; Sayan Mitra; Mahesh Viswanathan 001; Matthew Potok (TACAS, 2015)

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. - Parasara Sridhar Duggirala; Chuchu Fan; Matthew Potok; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001; Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001; Andrew Sogokon; et al. (CCA, 2016)

SDCworks: a formal framework for software defined control of smart manufacturing systems. - Matthew Potok; Chien-Ying Chen; Sayan Mitra; Sibin Mohan (ICCPS, 2018)