Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.
Adam ChildsJesse GreenwaldVenkatesh Prasad RanganathXianghua DengMatthew B. DwyerJohn HatcliffGeorg JungPrashant ShantiGurdip SinghPublished in: FASE (2004)