Fig. 6
From: Multi-criteria resource allocation in modal hard real-time systems

Example 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 algorithm