1. Baudin, P., Filliatre, J.-C., Marche, C., et al., ASCL: ANSI/ISO C Specification Language, 2008.
2. Boldo, S. and Filliatre, J.-C., Formal verification of floating-point programs, CF, 2008.
3. Boronat, A. and Meseguer, J., An algebraic semantics for MOF, FASE, 2008.
4. Carloni, L., Benedetto, M.D.D., Pinto, A., and Sangiovanni-Vincentelli, A., Modeling techniques, programming languages, design toolsets and interchange formats for hybrid systems, 2004.
5. Chatterjee, K., Alfaro, L. de, Faella, M., et al., Compositional Quantitative Reasoning, ACM, 2007.