1. Pahl, G., Beitz, W., Feldhusen, J., Grote, K.-H., Design, E.: A Systematic Approach. Springer, Berlin (2007)
2. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer Science, New York (2001)
3. Edward, A.L., Seshia, S.A.: Introduction to Embedded Systems - A Cyber-Physical Systems Approach. MIT Press, Cambridge (2017)
4. Shannon, C.: Communication in the presence of noise. Proc. Instit. Radio Eng. 37(1), 10–21 (1949)