Specification and simulation of automotive functionality using AUTOSAR