- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based SystemsAdam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh. FASE 2004: 160-164 [doi]