Specification and simulation of automotive functionality using AUTOSAR in Real-time Simulation Technologies: Principles, Methodologies, and Applications