1. nSafeCer project: Safety Certification of Software-Intensive Systems with Reusable Components. Project Grant Agreement n
$$^{o}$$
295373. More information at:
http://safecer.eu/
2. Damm, W., Hungar, H., Josko, B., Peikenkamp, T., Stierand, I.: Using contract-based component specifications for virtual integration testing and architecture design. In: Proceedings of the Design, Automation Test in Europe Conference Exhibition (DATE), pp. 1–6, March 2011
3. Cimatti, A., Tonetta, S.: A property-based proof system for contract-based design. In: Proceedings of the 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 21–28, September 2012
4. Kath, O., Schreiner, R., Favaro, J.: Safety, security, and software reuse: a model-based approach. In: Proceedings of the Fourth International Workshop in Software Reuse and Safety (2009)
5. OMG: Unified Modeling Language (UML). Version 2.4.1, August 2011. Specification available at:
http://www.omg.org/spec/UML/2.4.1/