P. Braun, J. Philipps, B. Schätz, and S. Wagner. Electronic Notes in Theoretical Computer Science, 238 (4):
71 - 77(2009)Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008).
J. Jürjens, and S. Wagner. Component-Based Software Development for Embedded Systems, volume 3778 of Lecture Notes in Computer Science, Springer, (2005)