Fig. 6From: Multi-criteria resource allocation in modal hard real-time systemsExample of the maximum spanning tree construction: FSM describing mode changes (a), the correponding undirectional graph (b), first (c), second (d) and third (e) step of the Prim-JarnÃk’s algorithmBack to article page