Muller, et al.. A Systematic Development Methodology for Mixed-mode Behavioral Models of In-vehicle Embedded Electronic Systems. Springer Nature, 2010, doi:10.1155/2010/726286.