13,213 followers
@StateDept @POTUS @NATO Childs, A.: Cadena: an integrated development environment for analysis, synthesis, and verification of component-based systems. In: Wermelinger, M., Margaria, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 160–164. Springer, Heidelberg (