BASEMENT: an architecture and methodology for distributed automotive real-time systems | IEEE Journals & Magazine | IEEE Xplore