ISBN 0-691-13576-2. ↑ "Schieferdecker, Bringmann, Grossmann: Continuous TTCN-3: Testing of Embedded Control Systems, In: Proceedings of 28th International Conference on Software Engineering, Shanghai, China, 2006" (PDF). Retrieved 2013-08-08. ↑ "Bringmann, Krämer: Systematic testing of the continuous behavior of automotive systems In: International Conference on Software Engineering: Proceedings of the 2006 international workshop on Software, Shanghai, China, 2006" (PDF). Retrieved 2013-08-08. ↑ "Lehmann, TPT – Dissertation, 2003" (PDF).