Schedulability analysis of GMF-modeled messages over controller area networks with mixed-queues | IEEE Conference Publication | IEEE Xplore