px4-firmware/Documentation/state_machine.odg