Methodology for Distributed Real-Time Automotive Applications -- Role of Formal Methods