1. Arts T, Dorigatti M, Tonetta S (2014) Making implicit safety requirements explicit—an AUTOSAR safety case. In: SAFECOMP, pp 81–92
2. Baracchi L, Cimatti A, Garcia G, Mazzini S, Puri S, Tonetta S (2014) Requirements refinement and component reuse: the FoReVer contract-based approach. In: Handbook of research on embedded systems design. IGI Global, pp 209–241
3. Bauer SS, David A, Hennicker R, Larsen KG, Legay A, Nyman U, Wasowski A (2012) Moving from specifications to contracts in component-based design. In: FASE, pp 43–58
4. Benveniste A, Caillaud B, Ferrari A, Mangeruca L, Passerone R, Sofronis C (2007) Multiple viewpoint contract-based specification and design. In: FMCO, pp 200–225
5. Benveniste A, Caillaud B, Nickovic D, Passerone R, Raclet J-B, Reinkemeier P, Sangiovanni-Vincentelli A, Damm W, Henzinger T, Larsen KG (2012) Contracts for system design. Technical report RR-8147, INRIA