Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. - Adam Childs; Jesse Greenwald; Venkatesh Prasad Ranganath; Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Georg Jung; Prashant Shanti; Gurdip Singh (FASE, 2004)